CSP入門④ J.W.Sanders:An Introduction to CSPの紹介(後編) - 共立出版コンピュータサイエンス誌『bit』